/* testing >,<,>=,<=,==,!= */
/*@*/
int main(){
  printb(7>3);//true
  printb(7<3);//false
  printb(3<7);//true
  printb(7<3);//false
  printb(7==3);//false
  printb(7!=3);//true
  printb(7>=3);//true
  printb(7<=3);//false
  printb(3==3);//true
  printb(3!=3);//false
  printb(3>=3);//true
  printb(3<=3);//true

  return 0;
}
/*@*/
